Kousha Etessami: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Analysis of recursive state machines

Alur, Rajeev, Benedikt, Michael, Etessami, Kousha, Godefroid, Patrice, Reps, Thomas, Yannakakis, Mihalis

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 389 KB

english, 2005

2

Model Checking of Recursive Probabilistic Systems

Etessami, Kousha, Yannakakis, Mihalis

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 524 KB

english, 2012

3

Counting Quantifiers, Successor Relations, and Logarithmic Space

Kousha Etessami

Journal:

Journal of Computer and System Sciences

Year:

1997

Language:

english

File:

PDF, 1.36 MB

english, 1997

4

Quasi-Birth–Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis

Journal:

Performance Evaluation

Year:

2010

Language:

english

File:

PDF, 775 KB

english, 2010

5

Realizability and verification of MSC graphs

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 256 KB

english, 2005

6

A note on a question of Peled and Wilke regarding stutter-invariant LTL

Kousha Etessami

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 51 KB

english, 2000

7

An abort-aware model of transactional programming

Kousha Etessami, Patrice Godefroid

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 314 KB

english, 2011

8

Reachability and the power of local ordering

Kousha Etessami, Neil Immerman

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.22 MB

english, 1995

9

Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations

Etessami, Kousha, Yannakakis, Mihalis

Journal:

Journal of the ACM

Year:

2009

Language:

english

File:

PDF, 747 KB

english, 2009

10

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Incremental and Complete Bounded Model Checking for Full PLTL

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 216 KB

english, 2005

11

Tree Canonization and Transitive Closure

Kousha Etessami, Neil Immerman

Journal:

Information and Computation

Year:

2000

File:

PDF, 1.18 MB

2000

12

An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic

Kousha Etessami, Thomas Wilke

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 270 KB

english, 2000

13

First-Order Logic with Two Variables and Unary Temporal Logic

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 187 KB

english, 2002

14

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 230 KB

english, 2005

15

Special Section on the Forty-Third Annual ACM Symposium on Theory of Computing (STOC 2011)

Etessami, Kousha, van Melkebeek, Dieter, Pettie, Seth, Watrous, John, Vadhan, Salil

Journal:

SIAM Journal on Computing

Year:

2012

Language:

english

File:

PDF, 43 KB

english, 2012

16

On the Complexity of Nash Equilibria and Other Fixed Points

Etessami, Kousha, Yannakakis, Mihalis

Journal:

SIAM Journal on Computing

Year:

2010

Language:

english

File:

PDF, 774 KB

english, 2010

17

Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata

Etessami, Kousha, Wilke, Thomas, Schuller, Rebecca A.

Journal:

SIAM Journal on Computing

Year:

2005

Language:

english

File:

PDF, 226 KB

english, 2005

18

Approximating the termination value of one-counter MDPs and stochastic games

Tomáš Brázdil, Václav Brožek, Kousha Etessami, Antonín Kučera

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 335 KB

english, 2013

19

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Formal Verification of Pentium ® 4 Components with Symbolic Simulation and Inductive Invariants

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 196 KB

english, 2005

20

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 87 KB

english, 2005

21

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

22

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || SMT-COMP: Satisfiability Modulo Theories Competition

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 95 KB

english, 2005

23

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Yet Another Decision Procedure for Equality Logic

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 292 KB

english, 2005

24

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

Etessami, Kousha, Wojtczak, Dominik, Yannakakis, Mihalis

Year:

2008

Language:

english

File:

PDF, 328 KB

english, 2008

25

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 252 KB

english, 2005

26

[IEEE 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) - Providence, RI, USA (2007.10.21-2007.10.23)] 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) - On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract)

Etessami, Kousha, Yannakakis, Mihalis

Year:

2007

Language:

english

File:

PDF, 339 KB

english, 2007

27

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - First-Order and Temporal Logics for Nested Words

Alur, Rajeev, Arenas, Marcelo, Barcelo, Pablo, Etessami, Kousha, Immerman, Neil, Libkin, Leonid

Year:

2007

Language:

english

File:

PDF, 206 KB

english, 2007

28

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Romeo: A Tool for Analyzing Time Petri Nets

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 176 KB

english, 2005

29

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Bounded Model Checking of Concurrent Programs

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 189 KB

english, 2005

30

Recursive Markov Decision Processes and Recursive Stochastic Games

Etessami, Kousha, Yannakakis, Mihalis

Journal:

Journal of the ACM

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

31

A Note on the Complexity of Comparing Succinctly Represented Integers, with an Application to Maximum Probability Parsing

Etessami, Kousha, Stewart, Alistair, Yannakakis, Mihalis

Journal:

ACM Transactions on Computation Theory

Year:

2014

Language:

english

File:

PDF, 199 KB

english, 2014

32

[ACM Press the seventeenth ACM SIGACT-SIGMOD-SIGART symposium - Seattle, Washington, United States (1998.06.01-1998.06.04)] Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '98 - Dynamic tree isomorphism via first-order updates to a relational database

Etessami, Kousha

Year:

1998

Language:

english

File:

PDF, 1.10 MB

english, 1998

33

Parametric temporal logic for “model measuring”

Alur, Rajeev, Etessami, Kousha, La Torre, Salvatore, Peled, Doron

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 268 KB

english, 2001

34

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Validating a Modern Microprocessor

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 104 KB

english, 2005

35

[ACM Press the 44th symposium - New York, New York, USA (2012.05.19-2012.05.22)] Proceedings of the 44th symposium on Theory of Computing - STOC '12 - Polynomial time algorithms for multi-type branching processesand stochastic context-free grammars

Etessami, Kousha, Stewart, Alistair, Yannakakis, Mihalis

Year:

2012

Language:

english

File:

PDF, 554 KB

english, 2012

36

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Inference of message sequence charts

Alur, Rajeev, Etessami, Kousha, Yannakakis, Mihalis

Year:

2000

Language:

english

File:

PDF, 297 KB

english, 2000

37

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Abstraction Refinement via Inductive Learning

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 470 KB

english, 2005

38

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Reasoning About Threads Communicating via Locks

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 214 KB

english, 2005

39

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || F-Soft: Software Verification Platform

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 112 KB

english, 2005

40

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Saturn: A SAT-Based Tool for Bug Detection

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 111 KB

english, 2005

41

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || TVOC: A Translation Validator for Optimizing Compilers

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 114 KB

english, 2005

42

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 209 KB

english, 2005

43

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Incremental Algorithms for Inter-procedural Analysis of Safety Properties

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 206 KB

english, 2005

44

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Action Language Verifier, Extended

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 108 KB

english, 2005

45

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || TRANSYT:A Tool for the Verification of Asynchronous Concurrent Systems

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 92 KB

english, 2005

46

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Linear Ranking with Reachability

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 188 KB

english, 2005

47

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Data Structure Specifications via Local Equality Axioms

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

48

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Ymer: A Statistical Model Checker

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 144 KB

english, 2005

49

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Extended Weighted Pushdown Systems

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 275 KB

english, 2005

50

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Model Checking x86 Executables with CodeSurfer/x86 and WPDS++

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 129 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски